Proceedings of the 7 th International Workshop on Modular Ontologies (
نویسنده
چکیده
There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common Logic, and F-logic. Related languages such as UML class diagrams, entity-relationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and databases. Another diversity appears at the level of ontology modularity and relations among ontologies. There is ontology matching and alignment, module extraction, interpolation, ontologies linked by bridges, interpretation and refinement, and combination of ontologies. The Distributed Ontology, Modelling and Specification Language (DOL) aims at providing a unified meta language for handling this diversity. In particular, DOL provides constructs for (1) “as-is” use of ontologies formulated in a specific ontology language, (2) ontologies formalised in heterogeneous logics, (3) modular ontologies, and (4) links between ontologies. This paper sketches the design of the DOL language. DOL will be submitted as a proposal within the OntoIOp (Ontology Integration and Interoperability) standardisation activity of the Object Management Group (OMG).
منابع مشابه
Proceedings of the 6 th International Workshop on Modular Ontologies (
It has been well recognized that the structuring of logicbased databases like formal ontologies is an important prerequisite to allow for an efficient reasoning on such databases. Development graphs have been introduced as a formal basis to represent and reason on structured specifications. In this paper we present an initial methodology and a formal calculus to transform unstructured specifica...
متن کاملProceedings of the 6 th International Workshop on Modular Ontologies ( WoMO ) 2012 held at Graz , Austria , on July 24 , 2012 as a satellite event
It has been well recognized that the structuring of logicbased databases like formal ontologies is an important prerequisite to allow for an efficient reasoning on such databases. Development graphs have been introduced as a formal basis to represent and reason on structured specifications. In this paper we present an initial methodology and a formal calculus to transform unstructured specifica...
متن کاملProceedings of the Workshop “ Ontologies come of Age in the Semantic Web ” ( OCAS 2011 ) 10 th International Semantic Web
Designing an ontology for a specific domain is a time-consuming process. In many cases, information sources like XML Schemas serve as a basis for ontology engineers to conceptualize the intended ontologies. The ontology design process is sped up significantly when XML Schemas are transformed automatically into generated ontologies. An XML Schema Metamodel Ontology has been designed to represent...
متن کامل7 th International Workshop on Uncertainty Reasoning for the Semantic Web
This paper deals with the problem of building a common knowledge body for a set of domain ontologies in order to enable their sharing and integration in a collaborative framework. We propose a novel hierarchical algorithm for concept fuzzy set representation mediated by a reference ontology. In contrast to the original concept representations based on instances, this enables the application of ...
متن کامل